fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.
Fuzion • Library Modules • base • String • pad_left

pad_left

String.pad_left

pad_left
(
p String,
n i64
)
 => 
String
[src]
pad this string at the beginning with `p` such that its `codepoint_count` is at least `n`.
Precondition
pre
  safety: p.codepoint_count > 0
  debug: n >= 0
Postcondition
post
  debug: result.codepoint_count >= n
  debug: ((result.codepoint_count >= n+p.codepoint_count): result = String.this)

Arguments

p
 String
[src]
n
 i64
[src]
0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)
last changed: 2026-11-04